11![Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden](https://www.pdfsearch.io/img/4b057351f8b6f8743de7652a974ac962.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:11
|
---|
12![Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: & Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &](https://www.pdfsearch.io/img/c3f9422992b709af0c1ec5f33c8e724f.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:53
|
---|
13![Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation](https://www.pdfsearch.io/img/5d00e0d604fd80affd599904a7dac0c1.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2011-07-23 03:32:59
|
---|
14![Portable library descriptions for Standard ML Matthias Blume∗ Lucent Technologies, Bell Labs 600 Mountain Avenue, 2C-481 Murray Hill, NJ 07974, USA November 26, 2001 Portable library descriptions for Standard ML Matthias Blume∗ Lucent Technologies, Bell Labs 600 Mountain Avenue, 2C-481 Murray Hill, NJ 07974, USA November 26, 2001](https://www.pdfsearch.io/img/3243d59039e451a69cd1f7e61dc4b672.jpg) | Add to Reading ListSource URL: people.cs.uchicago.eduLanguage: English - Date: 2009-07-14 15:46:41
|
---|
15![Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow](https://www.pdfsearch.io/img/1c6233a402cae18f639930c554b7ce3d.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 1999-09-06 04:29:36
|
---|
16![c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful](https://www.pdfsearch.io/img/ff143b94c8e12939aef7e985ff54fae4.jpg) | Add to Reading ListSource URL: www.cs.bu.eduLanguage: English - Date: 2005-06-23 21:20:00
|
---|
17![From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract](https://www.pdfsearch.io/img/b96397df62f51feebd4b2aa0c6366ee4.jpg) | Add to Reading ListSource URL: web.cecs.pdx.eduLanguage: English - Date: 2005-10-01 03:14:51
|
---|
18![How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract](https://www.pdfsearch.io/img/3f19d19d266d88a8051ccbec3648b1aa.jpg) | Add to Reading ListSource URL: 202.3.77.10Language: English - Date: 2016-05-28 06:05:21
|
---|
19![The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University](https://www.pdfsearch.io/img/6637b675480803990bca19ff587ab18c.jpg) | Add to Reading ListSource URL: rich.recoil.orgLanguage: English - Date: 2006-04-13 14:58:01
|
---|
20![Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements](https://www.pdfsearch.io/img/30a752a936dcbe4dfac884e3ca0ee089.jpg) | Add to Reading ListSource URL: barzilay.orgLanguage: English - Date: 2005-07-27 04:57:25
|
---|